Formal sciences - PDFSEARCH.IO - Document Search Engine

Formal sciences
Results: 2816

#	Item
431	Manuel Hermenegildo Areas of Interest Energy-Aware Computing, Resource / non-functional property analysis, verification, and control; Global Program Analysis, Optimization, Verification, Debugging; Abstract Interpretatio Add to Reading List Source URL: www.clip.dia.fi.upm.es Language: English - Date: 2014-07-12 00:42:10 Programming paradigms Formal sciences Association for Computing Machinery Principles of Programming Languages Formal methods International Conference on Logic Programming Logic programming International Symposium on Logic-based Program Synthesis and Transformation Lecture Notes in Computer Science Computer science Computing Software engineering
432	Data stories worth sharing London 29th May 2015 #Extract15 Extract Talks Add to Reading List Source URL: extractconf.com Language: English - Date: 2015-05-22 10:17:45 Analytics Mathematical finance Spotify Business Software Formal sciences Business intelligence
433	International Journal of Engineering and Advanced Technology (IJEAT) ISSN: 2249 – 8958, Volume-1, Issue-1, October 2011 Temporal Data Mining: An Overview Mohd. Shahnawaz, Ashish Ranjan, Mohd Danish Add to Reading List Source URL: www.ijeat.org Language: English - Date: 2015-06-06 06:36:15 Science Machine learning Computational statistics Data analysis Formal sciences Sequence mining Association rule learning Cluster analysis GSP Algorithm Data mining Statistics Bioinformatics
434	Kinematic Analysis of a Space Mechanism—Rendezvous Simulator Add to Reading List Source URL: www.abhinavjournal.com Language: English - Date: 2014-01-30 00:14:54 Business intelligence Data analysis Formal sciences Data management Web mining Knowledge discovery Analytics Data warehouse SAS Statistics Science Data mining
435	STEPHEN F. SIEGEL Curriculum Vitæ Department of Computer and Information Sciences 101 Smith Hall University of Delaware Add to Reading List Source URL: vsl.cis.udel.edu Language: English - Date: 2015-05-22 11:27:31 Concurrent computing Application programming interfaces Message Passing Interface Jack Dongarra Model checking Formal verification Bill Gropp Actor model Computer cluster Computing Parallel computing Computer programming
436	Abhinav International Monthly Refereed Journal of Research In Management & Technology ISSN – Volume II, March’13 Add to Reading List Source URL: www.abhinavjournal.com Language: English - Date: 2013-12-17 06:25:29 Knowledge Formal sciences Data mining Data analysis Machine learning Educational data mining Knowledge discovery University student retention ADAPA Statistics Business intelligence Science
437	Army Research Laboratory Technical Implementation Plan 2015 – 2019 U.S. ARMY RESEARCH LABORATORY MISSION: Discover, innovate, and transition science and technology Add to Reading List Source URL: www.defenseinnovationmarketplace.mil Language: English - Date: 2015-03-03 12:39:02 Formal sciences Parallel computing Computational science Emerging technologies Big data Transaction processing Visual analytics Data mining Computer science Computing Concurrent computing Science
438	Second Credit Seminar Presentation on "Big Data Analytics Platforms: A Survey" Add to Reading List Source URL: brijeshbmehta.files.wordpress.com Language: English - Date: 2015-04-17 08:12:05 Formal sciences System administration Transaction processing Cloud computing Cloud infrastructure Apache Hadoop Big data Analytics Vertica Computing Technology Concurrent computing
439	PVLDB Proceedings Template - WORD Add to Reading List Source URL: www.vldb.org Language: English - Date: 2014-07-27 00:29:36 Database management systems Formal sciences Database theory Parallel computing Emerging technologies Big data Database Apache Hadoop MapReduce Computing Concurrent computing Data management
440	Enterprise Strategy Group I Getting to the bigger truth. ESG Lab Review Report Summary Add to Reading List Source URL: hadapt.com Language: English - Date: 2013-12-03 13:58:50 Business intelligence Cloud infrastructure Formal sciences Emerging technologies Database management systems Apache Hadoop Unstructured data Big data Analytics Computing Technology Concurrent computing

UPDATE